%verify "executed"
    SMP_DMB_ST
    b       common_returnFromMethod
